0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Formal Methods And Theory Of Security – alle Bücher

    Trefferliste "Formal Methods And Theory Of Security" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal methods and theory of security" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Lecture Notes in Computer Science - Band 15221

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Lecture Notes in Computer Science - Band 15223

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science - Band 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science - Band 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Lecture Notes in Computer Science - Band 15219

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

    This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    James Booth
    On the Application of a New Analytic Method to the Theory of Curves and Curved surfaces

    Reprint of the original. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the public in good condition in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 34,90

    James Booth
    On the Application of a New Analytic Method to the Theory of Curves and Curved surfaces

    Reprint of the original. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the public in good condition in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 14,90

    N. M. Ferrers
    An Elementary Treatise on Trilinear Co-Ordinates

    Reprint of the original, first published in 1866. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 34,90

    N. M. Ferrers
    An Elementary Treatise on Trilinear Co-Ordinates

    Reprint of the original, first published in 1866. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 59,90

    Stephan Russenschuck
    Field Simulation for Accelerator Magnets

    A comprehensive reference to the theory and practice of accelerator-magnet design and measurement Particle accelerators have many fundamental and applied research applications in physics, materials scienc…

    lieferbar ab 28.5.2025.
    2 Bücher
    Aktueller Preis: EUR 397,80
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH